2261. <The> theory of models
Author: / Edited by J.W. Addison, Lعeon Henkin [and] Alfred Tarski
Library: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
Subject:
Classification :
BC135
،.
I5
1965
2262. The theory of models
Author: edited by J.W. Addison, Leon Henkin, Alfred Tarski.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Congresses.,Mathematical models, Congresses.
2263. The theory of models; proceedings
Author:
Library: Library of the Faculty of Economics University of Tehran (Tehran)
Subject: Logic Symbolic and mathematical models-Congresses
Classification :
BC
135
.
I586
2264. The theory of models; proceedings
Author: Edited by J.W. Addison, Leon Henkin )and( Alfred Tarski
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematical models
Classification :
BC
135
.
I586
1963
2265. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability
Author: Reichenbach, Hans
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Mathematics -- Philosophy,، Probabilities,، Logic, Symbolic and mathematical
Classification :
QA
9
.
R412
1949
2266. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability
Author: Reichenbach, Hans
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Mathematics-- Philosophy,، Probabilities,، Logic, Symbolic and mathematical
Classification :
QA
9
.
R412
1971
2267. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability
Author: Reichenbach, Hans
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: philosophy ، Mathematics,، Probabilities,، Logic, Symbolic and mathematical
Classification :
QA
9
.
R413
2268. The uncertain reasoner's companion : a mathematical perspective
Author: Paris, J. B.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Uncertainty,، Reasoning
Classification :
QA
9
.
P26
2269. Theorem proving in higher order logics : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27-October 2, 1997 : proceedings
Author: Jim Grundy, Malcolm Newey, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1479
2270. Theorem proving with analytic tableaux and related methods :
Author: Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Nonclassical mathematical logic -- Congresses.
Classification :
QA76
.
9
.
A96
P484
1995
2271. Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17th, 1996 : proceedings
Author: P. Miglioli ... ]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Nonclassical mathematical logic,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1071
2272. Theorem proving with the real numbers.
Author: John Harrison
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
9
.
A96
J646
2012
2273. Theorems, corollaries, lemmas, and methods of proof
Author: Rossi, Richard J.
Library: Central Library and Documentation Center (Kerman)
Subject: Textbooks ، Proof theory,Textbooks ، Mathematical analysis - Foundations,Textbooks ، Logic, Symbolic and mathematical
Classification :
QA
9
.
54
.
R668
2006
2274. Theorems, corollaries, lemmas, and methods of proof
Author: Rossi, Richard J., 6591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Textbooks ، Proof theory,Textbooks ، Mathematical analysis -- Foundations,Textbooks ، Logic, Symbolic and mathematical
Classification :
QA
9
.
54
.
R68T4
2275. Theorems, corollaries, lemmas, and methods of proof /
Author: Richard J. Rossi
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Textbooks,Mathematical analysis-- Foundations, Textbooks,Proof theory, Textbooks
Classification :
QA9
.
54
.
R668
2006
2276. Theorems, corollaries, lemmas, and methods of proof
Author: / Richard J. Rossi
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Proof theory- Textbooks,Mathematical analysis- Foundations- Textbooks,Logic, Symbolic and mathematical- Textbooks
Classification :
QA9
.
54
.
R668
2006
2277. Theorems of the 21st century.
Author: Bogdan Grechuk.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Induction (Mathematics),Logic, Symbolic and mathematical.,Mathematics.,Induction (Mathematics),Logic, Symbolic and mathematical.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics.
Classification :
QA37
.
3
2278. Theoretical aspects of computing -- ICTAC 2018 :
Author: Bernd Fischer, Tarmo Uustalu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
L63
2279. Theories of Intensionality
Author: Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Intention )Logic(,Logic, Symbolic and mathematical,Electronic books,Electronic books
Classification :
EBOOK
,
BC
.
I5
199
2280. Theories of intensionality : a critical survey
Author: Parsons, David
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Intention )Logic(,، Logic, Symbolic and mathematical
Classification :
BC
199
.
I5P37
